English dynamic type checking: переклад на інші мови